// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
const Clutter = imports.gi.Clutter;
-const GLib = imports.gi.GLib;
const Gtk = imports.gi.Gtk;
-const Gio = imports.gi.Gio;
const Lang = imports.lang;
const Shell = imports.gi.Shell;
const Signals = imports.signals;
const Main = imports.ui.main;
const Params = imports.misc.params;
const Separator = imports.ui.separator;
-const Slider = imports.ui.slider;
const Tweener = imports.ui.tweener;
const Ornament = {